#!/bin/bash
. /etc/profile
echo "PATH=$PATH"
